Data-flow analysis

Results: 379



#Item
11Database-Backed Program Analysis for Scalable Error Propagation Cathrin Weiss Cindy Rubio-González

Database-Backed Program Analysis for Scalable Error Propagation Cathrin Weiss Cindy Rubio-González

Add to Reading List

Source URL: web.cs.ucdavis.edu

Language: English - Date: 2015-02-16 13:00:00
12A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous University of Utah

A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous University of Utah

Add to Reading List

Source URL: spw16.langsec.org

Language: English - Date: 2016-06-05 23:38:28
13COMP 621 Program Analysis and Transformations Assignment #2 Using the McLab Framework for Analysis and Profiling Due: Monday October 26, 2015  Overview:

COMP 621 Program Analysis and Transformations Assignment #2 Using the McLab Framework for Analysis and Profiling Due: Monday October 26, 2015 Overview:

Add to Reading List

Source URL: www.sable.mcgill.ca

Language: English - Date: 2015-10-07 12:09:10
14In Search Of Shotgun Parsers In Android Applications Katherine Underwood Michael E. Locasto

In Search Of Shotgun Parsers In Android Applications Katherine Underwood Michael E. Locasto

Add to Reading List

Source URL: spw16.langsec.org

Language: English - Date: 2016-06-05 23:39:01
15Leveraging “Choice” to Automate Authorization Hook Placement Divya Muthukumaran Trent Jaeger

Leveraging “Choice” to Automate Authorization Hook Placement Divya Muthukumaran Trent Jaeger

Add to Reading List

Source URL: www.cse.psu.edu

Language: English - Date: 2012-12-21 22:14:54
16COMP 621 Program Analysis and Transformations Assignment #1 Profiling and Traditional Flow Analysis Due: Wednesday Oct 7, beginning of class  Overview:

COMP 621 Program Analysis and Transformations Assignment #1 Profiling and Traditional Flow Analysis Due: Wednesday Oct 7, beginning of class Overview:

Add to Reading List

Source URL: www.sable.mcgill.ca

Language: English - Date: 2015-09-21 10:19:26
17Interim Report  Financial Report as of June 30, 2016 Half-Year Financial Report  Covestro Group Key Data

Interim Report Financial Report as of June 30, 2016 Half-Year Financial Report Covestro Group Key Data

Add to Reading List

Source URL: press.covestro.com

Language: English - Date: 2016-07-26 01:04:39
18ETM Q2 16 financial data tables updated Julyxlsx

ETM Q2 16 financial data tables updated Julyxlsx

Add to Reading List

Source URL: www.entercom.com

Language: English - Date: 2016-07-26 10:19:59
19COMP 621 Program Analysis and Transformations Assignment #2 Using the McLab Framework for Analysis and Profiling Due: Monday October 26, 2015  Overview:

COMP 621 Program Analysis and Transformations Assignment #2 Using the McLab Framework for Analysis and Profiling Due: Monday October 26, 2015 Overview:

Add to Reading List

Source URL: www.sable.mcgill.ca

Language: English - Date: 2015-10-07 12:09:11
20Delta: Scalable Data Dissemination under Capacity ∗ Constraints Konstantinos Karanasos  Asterios Katsifodimos

Delta: Scalable Data Dissemination under Capacity ∗ Constraints Konstantinos Karanasos Asterios Katsifodimos

Add to Reading List

Source URL: www.user.tu-berlin.de

Language: English - Date: 2016-07-21 07:25:50